[{
's1' : [(1, (3, 10)), (1, (1, 1)), (1, (2, 10)), (2, (1, 2))],
's2' : [(1, (1, 11))],
}, {
's1' : [(1, (1, 1)), (2, (1, 2))],
's2' : [(1, (3, 11)), (1, (1, 11)), (1, (2, 11))],
}, {
's1' : [(1, (1, 1)), (1, (1, 10)), (2, (1, 2))],
's2' : [(1, (3, 11)), (1, (2, 11))],
}, {
's1' : [(1, (3, 10)), (1, (1, 1)), (1, (1, 10)), (2, (1, 2))],
's2' : [(1, (2, 11))],
}, {
's1' : [(1, (1, 1)), (2, (1, 2)), (1, (2, 10))],
's2' : [(1, (3, 11)), (1, (1, 11))],
}, {
's1' : [(1, (3, 10)), (1, (1, 1)), (2, (1, 2))],
's2' : [(1, (1, 11)), (1, (2, 11))],
}, {
's1' : [(1, (1, 1)), (1, (1, 10)), (1, (2, 10)), (2, (1, 2))],
's2' : [(1, (3, 11))],
}, {
's1' : [(1, (3, 10)), (1, (1, 1)), (1, (1, 10)), (2, (1, 2)), (1, (2, 10))],
's2' : [],
}, ]